1. Advanced Boolean techniques :
Author: editors, Rolf Drechsler and Mathias Soeken.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Boolean, Congresses.,Algebra, Boolean.
Classification :
QA10
.
3
.
I58
2018eb


2. Boolean function complexity /
Author: edited by M.S. Paterson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Boolean.,Computational complexity, Congresses.,Algebra, Boolean.,Boole, algèbre de-- Congrès.,Boolean-functions.,Boolesche Funktion,Complexité de calcul (Informatique)-- Congrès.,Computational complexity.,Komplexitätstheorie,MATHEMATICS-- Algebra-- General.
Classification :
QA267
.
7
.
B66
1992eb


3. Boolean function complexity
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computational complexity-- Congresses,، Algebra, Boolean
Classification :
QA
267
.
7
.
B66
1992


4. Boolean function complexity
Author: edited by M.S. Paterson
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computational complexity,Congresses ، Algebra, Boolean
Classification :
QA
267
.
7
.
B6


5. Boolean functions in cryptology and information security
Author: / edited by Bart Preneel and Oleg A. Logachev
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Algebra, Boolean, Congresses,Cryptography, Congresses,Computer security, Congresses
Classification :
E-BOOK

6. Handbook of satisfiability /
Author: edited by Armin Biere ... [et al.]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Boolean, Congresses,Computer algorithms, Congresses,Decision making, Congresses,Propositional calculus, Congresses

7. Kinetic logic : a Boolean approach to the analysis of complex regulatory systems : proceedings of the EMBO course "Formal analysis of genetic regulation," held in Brussels, September 6-16, 1977
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Genetic regulation-- Mathematical models-- Congresses,، Algebra, Boolean-- Congresses
Classification :
QH
450
.
K53


8. Logic, computation, hierarchies /
Author: edited by Vasco Brattka, Hannes Diener, Dieter Spreen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Boolean, Congresses,Logic, Symbolic and mathematical, Congresses,Petri nets, Congresses,Quasi-metric spaces, Congresses,Set theory, Congresses
